{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Predefined Metrics in Symbolic Module\n",
    "\n",
    "### Importing some of the predefined tensors. All the metrics are comprehensively listed in EinsteinPy documentation."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "import sympy\n",
    "from sympy import simplify\n",
    "from einsteinpy.symbolic import RicciScalar\n",
    "from einsteinpy.symbolic.predefined import Schwarzschild, DeSitter, AntiDeSitter, Minkowski, find\n",
    "\n",
    "sympy.init_printing()  # for pretty printing"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Printing the metrics for visualization\n",
    "All the functions return instances of :py:class:`~einsteinpy.symbolic.metric.MetricTensor`"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAWcAAAB0CAYAAABZjfMMAAAACXBIWXMAAA7EAAAOxAGVKw4bAAAU6klEQVR4Ae2dW7LUthaGNxTPKU6oygDIDEgYAZsZHDgjIMyAFE/JG5XMgGQECcyAMAIuMyADSFUIlQns83/elnF7y92y22pf9KvKLVuWdfmkXl5ekuVrFxcXZ2t1P/74439V9vvaXtV1uC3/a20/6dyfdZg9EzABE1gdgRsSYndU6nc9JX+p8w/a5+r4LxT2jfY/tc/NsP+l8qQsbM9Unp+1URfqZOEsCKlO3H6q4/4t3ze4VHAH4pnrAUAjT2+Bq+rwQdVHobzidO7ajVboz9oncttVAk4RbyrwV20ftX2rLZqgwk/mVCbK8Ie2c21/6pjy4x5p//3lrn9TCIgXNzRubi+JL5/2fif/vjbf5IAywomduY7gduiSDXENClG7ylgCsAictYXz874/osLRkCsNWvtPtI9mOqsLZZVPZRDSldOxBXOAkeCL13eKdlN+JZi5RPuf6uPnOoSv3UAC4meuA5mlRN8SV9Xll26dFUZQJZyvd0+u8BjNOdicrxRflb1Dg4btSgQHcNON3dDeKPxc3NCi7YYTMNfhzFKuKIbrqoWzBAemDbS+RnOOtO5jnecO9bs2bKl2uwS4uWGu6jqelnCctxtOwFyHM0u5ohiuN1JoLDgOwrl5HO8p5wsJZx7PccG/PCr8V1xStGIGXe0GEDDXAbAGRC2N69o15z/UYJUtPNbGOscsDgYLH8v/XhuDmXafCQTBG7Tkz2c+a9MpArx9nffPzsw1Ty8oiuvaNedDXeA3RcBuymP7l/KvGOAPJeDzZ7fMIAsBc82CdTv9NbtwlkBE83qtbYgG9kDXxQapBjWn0jhk8hiU3gYjx2zNoZpBS2Hes90wAuY6jFdq7KK4nkI488j8TSr91HgSvEe92qjrr6XmtdV4YsCUOaoXu3GGMM9zHtgBzHUgsMTopXHNLpwTuQ+OpoYqXrgOhha/gJkuDKx2XdCc982E6V7j488EzPUziyn3iuG66gHBKVu84LQYNI0NlPK08x5tpWA2x1TdXI+h139tMVwtnPs7QRFnJHwZJP0ov3oriUprH5PGQ22POLYbTsBchzNLuaIkrslmDUHhjsWfNmhZrL3AoN0b+WFdixS+jrM8AmjJT9WOwbxxV8f36vZdXmnXUyJzzdNWRXC99sMPP9wRPxZo+Vp/Rg/+5OlMTtUETMAEDhKQDGZNFtY52lmV7uCFS4+gCvFozkI9Ya0NNEEvf7n0hnP5TMAErhDYms2ZGQaYX1je9LaENeYWzDA8HdiZgAmYwGoIbEY4SxCjJYdpNt31nf0yymq6pAtqAiYAgeQBwaXjknAOHwbw+s5LbyyXzwRM4CCBzWjOrZqeaz/YnFvB3jUBEzCB9RDYlHCuTRuH1ndeT+u4pCZgAsUS2IxZo25B7M62L2fozrrxhRdT+HgB80ztTMAEMhLYlHCW0GBAkM1uQgLiymwXzEU4hLSdCZhAZgKbEs6ZWRWbvIQzb4KyzkbzinexMFxxEzgRgU3ZnE/EzNmYgAmYQHYCi9GcpZX9VNeWxd39Vl/2pncGpyDgfp2HcglcF6E5CzRre7CA0vfaeKuP7/290j4DfHYmsEoC7td5mq0UrrMLZ4FmoQ+mvzWzLLT/SWEc+2vZefq3U81MwP06D+CSuM4unNWEfD2bAaeue6MAPs7q2QFdMj5eAwH36zytVAzXJQhnpmjFPtyI9owLU7guj/xrAusg4H6dp52K4XojD7+0VBO1Ylaas5uRgNrptrJ/rI0/Bqv9YW76IN8fWRCIrnO/7hKZ5rg0rrMKZzVZELxBS263YtCmbdZoU5lhX38KFpVikNYujYD7dRqnobGK4roEs8ahBrp1KILPm8AKCbhf52m0zXCdW3MO2nGsmcJdknnPq3P1I9hrFXyI5v9A18UGR1dX/8ILvNl+PXO7FsV1VuEsQfRJG+0dE2AhbJXfNaRuqtfRCwQpnQsA2fUTEKNr/WdPf4a210bGoQ+3CxHCVtmv2xU59X5pXGcVznXjhq+XdNs6aM5FL2SUQ/AoTQb1ViMc1lZe9+vuX3nS42LkBTbnL2p0wZ+UZEJifPOP7/x1HVoni+2ggdpNREA8nyipOxMld6pkuJlQ7jU59+s8rbV1rl8FbLMPCOpP94sK81F+s+KZ9nn0e6jtUSio/eMJ1IxvyW/exjw+1fwpqLzV01Nd/vwZTpCDyup+PQHHbhIlccWs8W8NIPhdHqc4Rkt+KvDMp8Xd1XZPx++rI//0EhAjbmpwY5Qa/7nCrpiCFMYND8ZH28GVTrJTfryeT56sn4KrbK4KHzRHmvja3mn7Q9tanqbcry/bfOrfLXP9K8Bags35rP6zeR5taJVh/q/i9x8ukY/g+0dbbICMVf/mWKsE2zbl+kbl4ysq3EDGmlUoP/XghZjFO9WVm4j79cQtVQrXRQjniduutOTamjCCr0+rfIhwjMFROMITM9Lkn6BS2mi6CKhKSGkfYd0MRuoYQd2MOegYc0DUcU7bP9pYvbCvntFrHWgCayNwfW0Fdnl3CUhINYJOZ9AqWRhmxynOuQLa8ZrzOodwrFYGlI+QzuG+VT59JipuCAjk37WxjvchRz24kdiZwKYJWHPeSPNKwPHIj0YZE4II7Ct2aKpex8/2CSqlj8CP5k3+ci8UJ5hbgn95Jv5LWve19WrY8cscagLrImDhvKL2khBDM+aNSR7pWQO7GlSrw6tHffa1de2cmA1SBJ+iTetUFsp6RZsnF51jWhTlRntGiKMRx24uCm7cB+3xJGBnApsmYLPGSppXwguhxNdhEMhvtT2l6DpmFsQTbdhieZuwmZKo/eAQfB/DwYL831SWc5WbMmMTT9GGqQf1sTOBTROw5ryC5pXQQuv9U34wD2B3vUfRFdYeECQo5r5UIBrsSZ3KNujVc8VvtHvtx2acUH7qzsCnnQlsmoCF8zqal8f95oUcCS4E7aHH/0lqprwYMMSccshhmtgZdNwjYA+lte/8LDeafQXyORPIQcDCOQfV6dPkMf4YYYzQHGUKkIAlXwbgluKoB6YNOxPYNAHbnNfRvAjInUd5Cc0UbTbUDmG2c304sUIfzXlHQ19hHVxkEzhIAM2Zjs7LCdZGDuKaLQKzHZjVEAQs2uOzAaVBuN+Nxa/TpP3Pta3hE1TY2F/F6uIwE9gAAcaVqpfFEM784RmIIfCTNruFEZAADTfQsSVDmDWDbe1E6rS7U+/aUSbdV37HrrXBTWTIU8Ok5XdiJpCZAP2b/+ov1zNn5OQXQEACsZrlIZ/BvbkdNxqmBbLWBlPnWCEvyUyh+NWTg/yk+ErXzgRWS8DCebVNN7jgaJvV49LgKye8QIKVGwUDjJUmj6DVlrqEKRq+teYJ28NJLZeAhfNy22bSkkkAoqViU660z0kTH57YvrU2oqnV5ab8KS+qRNNwoAmsiYCF85pa6/iyMrAYtT0fn3RaChKuDGZWZpa0K5pYlDv6GngTwzsmsCECFs4basxDVZFgZMCXl0UYlJvFUQZtg4RsXV7K7QHrWVrNmc5BgNkadgURkIBjMG1VpgGVeVXlPaY7qa6sM4Lp6VbtR79sc0wevnYdBCyc19FOLmU5BFK/bFMOkUJrarNGoQ3vai+WQHshKzRom3IW21R5C2bhnJevUzeBQQRqs1O4hmmDg+zz4UL76ydgs8b629A12CABCWlmp/R92WaDNXaVugTQnL+oA4PfjeNjEzCBExKQYEZjrgRzvX/C3J3VzAS+CvmjOf9bHwQ/nLNvAiYwIQEJWmZi8HZkWLgJmzIfteXTYtUr6fL5sg2v2T/Rvrzq1faTrX1ChnazEvgr5L4Ys4Y6Yngtl2/k7XTYUFj7+QiYfz62rZS/1D7fTWR7JuY/awvCOAjn9oBg61LvtgmU0F8XMSBYd9A38nmU4xt5aAp8Lw/Nwi4zAfPPDFjJ132ZNyPp06wnUn2cV/uPtJ+6toii24kXN7TNy4vZhbNA87YaX5JuOqj2mT7E8ayvGiv/zTvzP00TizMCGe0Ys0bz+rrCWGvbLpFASf11duGsNmGqUKyDvlE4X2a+mdhujjaOgPmP4zb2qnNdGGzOY9Mo+bpi+usShDOd9WOkt4XJ95y3y0fA/POx3UlZisZtBfCU2GjOOxF8kEKgmP46q3BO1IoZRLHLQMD8M0DdnyTCuTHf7Y/qs10CpfXXG10AJz4Ogjdoye3sgzZts0abyrT75j8tz72p1Rqztea9lPaeLKq/zqo5722GzydZnctuPgLmPx975zycwGb669yac9COY00Q7pLMe7bLQ8D8E7jWj9OvFXXIU9wDXfc+IXlHSSdQVH+dVTir87LwOk0T6/QhrJqcn95+jplKwPzTSMFJMY96OURpXKTl1h9LaVzrP7v9M6X111mFc92dwsT8bu8KmrNtdF0y0x6b/7Q8o6mlCFbF8UL7UXo7gcX01xvqEDx6zXlH5lXW8Op2uxXQVN5zt2wHen9yAuY/OdLRCXqh/cPoNt1fJe/46k/15Z/rOrij7UIb03xO7urCfJSP1lA57WPSeKjt0WWIf3MRMP9cZEel2zad8H+0YtLBuPX+qvp9p60ygS3BrAF+OuVTFSrcIO7q+J6OPaACnfzO/PMzPpiD+nt7fMUL7fcTK6K/LkI4q1OiIXhZxP7OmPWM+WfFOzhxtYcX2t9DrZT+ugjhvKcdfMoENklAAgbNmGmiKCa80l2tUleHszojM5lY59lKyyZ7wOFKreEllMO1cAwTWBEBCdwPKi5L4iKQ32p7SvF1zFKYT7T9o33sjs04jPbtCiNgzbmwBnd15yUgoYvJguVDwxRR7Mz3KJXC2gOCBNkVTMDCueDGd9VnIbAzC0kCGbOGB75naYplZ2qzxrLbx6XbHoGbqpKF8fbadfIaWThPjtQJmsBeAgjmMGW0iijtOfYS1t5EfHL7BGzW2H4bu4bLIsCXPJiNEQQ0mvSzZRXRpVkCAQvnJbSCy1AMAQllBgAfF1PhnoqKw2zriMyZdw+OaLCFcxSLA03ABDITmHMdkTnzTsZqm3MyKkc0AROYkEB72iAmHmatnMqNyhuNW1swRx0sq+IyZ320s+Y8Gp0vNAETGEtAgmuSdUSUzncqAzb8r1PLMibvOh/mp7fLfaZjhDVvcfJiEcfVm55hX8fPtY0yY1lzhqKdCZjALAQQXsoY4RpeyhlaDt6wJI3BLjVvxWPQ9n63jHV4KD9C+X91WLssLxQ2ajaOhXMbo/dNwARORqAWWghm1m0fJcDqaxttNbXwA/OmbLEbAGtLI3yDSeajjs/bZdA5bjrn8hHwg5zNGoNwObIJmEAKAQkjZmPc1/aqjs/jP6YHFnPCPMA6Ine0PdG+vDPMBdFFnnQe220QgKTxt8J+1obAQ0Ai/KoPhsgnH8I4x7RFjtnu6hzHZ/KT8ya+HOnvmCZ0TJqEU8fgCIu5SkDrxMvYyb4wC+c+Mg43ARM4hgCfmas0S/nPJMQQpkEoIpzbg3K9+SgemugtrieSfARgtSCU9lm5D6FZ2Xvr86SNECbstvYrgSj/nTYG9F5qS8q7To/8wo2BoOC4kXRNMcTdsUnXkd/IR4hbONdA7JmACcxAQMIPIRW0RYRlMDs80v7QV9cxFaBdowmjhZNu9Rkn+TjO97m28CQe5RrquCaWBzcN6hbMMVXaPfVDuA/OezGac6uSf6sizeOP9u1OQMD880AukavqXGmP8tEWGwGp4/dDKXNNnQ6aKpo4bifdy6Crv7qurfG2969G7g/hphC7FmH7INRJPjbp9k2jnWJMuLfPR/evR0NPHKiK8bjzRj6DA9xlaQjWux18tzlx0TeRnfnnaUZzrQbHgs15FGQxxC79Vj6zJbArY8YI2uqoNAdexI0GAR1zbRMGqw32lQs51o4bS+tK2OzCWcCZp8iXIBp7jPa5U3EcGyG9UgkHjCdg/uPZ7buydK6qPwKJ/3WjOe/jtecc6TRCT+mhnY7RRPsE7J6sKxs32j5l6LpG2KpMyClMNk1YJzLXN3bxzrnew+u9Z053AuN97HEHIzqjoaOgnq74q8/J/PM0YelcEUiNwnUkYgb+sDvzZWoEdTVzopYNv5K29itFrg6rhHkrDAXwW23MQ8ZWPNRhW6Y+bUcZ+Cg1efGUv6+ugwcDyWgJNmdgxWw1aM84zu+reBXJP6MJmP9odHsvLJqrhBUa87Fa81kt9KL/f51DRnATbFxPGPIlJmOa6w7shBtCM9VP+STVT/Eq5VJ+n1bdm/WsmnMoeG/pLk8wJccuAwHzzwBVSZprHq5zpar2RBBjoulqzylFeqpIOzeQlIuIM6twVv5B8AYtuV3uYFeq7jztE96fjID5T4ZyJyFz3cGx/gMJZswYjxNvvFWFFRdzCiaPmHw7CGVu4XywgIpwKyWS42QjYP550JprHq7ZUpWQbcwaiZn8rmtGm3ZuJGaSK1rQjmPpB+2Dec92eQiYv7k2BCRIeEp9rW3I02oz1zckpHQuwv4WfdUvuVqxuAqrXjU/lMiswlmFZBSWMsY6QwgbbEg/VGmfvyRg/nl6wlq5Um4RSX61uY+e0kkSPn3XO/ySwKzCuW4E1P6YoT1ozqMfC9zISQTMPwnT4EjmOhhZngt0s5jtk1jH1GgJwplXMqt5iZ2KcAfn1U3u5nb5CJh/HrbmmofrmFRX8VmqbsVmHxCU8K3e+KnvblX5tI9Jg9chH3UL7ONpCZj/tDxDauYaSCzCb5tqeEpfhcK3BM2Z1gMeb9sE88ZdHd/TcezNQeLbTUvA/KflGVIz10BiRl9ypD1uxVP6qHnHp67CIoSz4HEnGzpN5dSsNpuf+edpWnPNw3VfqmKO8GWGFzKFF0fCcqVn2ucV7+rLK/IX72Y3ayyekAtoAiawCgISviwuxEsfCOS32ng7r3IKQ2gf9UmsOqmTeRbOJ0PtjEzABHIRqLViFigKs7swZdwjP4WxJDGfuvpH+8zBrr6kIn/Rrm3W+KCCdwvLJ11WYZ/pFtzHJmACRRHYmUAguYVZoxqz0n57QHAxUFSu6lNafQVCOHOHqZbgi0RqG9Ijpx1kAiZgAosgcFOlWNsEgtgU4gbmtYuLTb9p2VTUOyZgAtslIC0U0wU25WDWONM+X/pe7USDtlljuy3nmpmACWydAOZXhHOYjosm/WzNlf4/rTA0xLXtwWAAAAAASUVORK5CYII=\n",
      "text/latex": [
       "$\\displaystyle \\left[\\begin{matrix}1 - \\frac{r_{s}}{r} & 0 & 0 & 0\\\\0 & - \\frac{1}{c^{2} \\left(1 - \\frac{r_{s}}{r}\\right)} & 0 & 0\\\\0 & 0 & - \\frac{r^{2}}{c^{2}} & 0\\\\0 & 0 & 0 & - \\frac{r^{2} \\sin^{2}{\\left(\\theta \\right)}}{c^{2}}\\end{matrix}\\right]$"
      ],
      "text/plain": [
       "⎡    rₛ                                 ⎤\n",
       "⎢1 - ──       0        0         0      ⎥\n",
       "⎢    r                                  ⎥\n",
       "⎢                                       ⎥\n",
       "⎢            -1                         ⎥\n",
       "⎢  0     ───────────   0         0      ⎥\n",
       "⎢         2 ⎛    rₛ⎞                    ⎥\n",
       "⎢        c ⋅⎜1 - ──⎟                    ⎥\n",
       "⎢           ⎝    r ⎠                    ⎥\n",
       "⎢                                       ⎥\n",
       "⎢                       2               ⎥\n",
       "⎢                     -r                ⎥\n",
       "⎢  0          0       ────       0      ⎥\n",
       "⎢                       2               ⎥\n",
       "⎢                      c                ⎥\n",
       "⎢                                       ⎥\n",
       "⎢                             2    2    ⎥\n",
       "⎢                           -r ⋅sin (θ) ⎥\n",
       "⎢  0          0        0    ────────────⎥\n",
       "⎢                                 2     ⎥\n",
       "⎣                                c      ⎦"
      ]
     },
     "execution_count": 2,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "sch = Schwarzschild()\n",
    "sch.tensor()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAALgAAABkCAYAAAA1z/qTAAAACXBIWXMAAA7EAAAOxAGVKw4bAAAIBElEQVR4Ae1dUY7dNBR9g+YbVYzEAqY7mIEV0O6AsgPoEiq+Zv5Q2UHLClBnB8AKSruDYQFIVCM2AOcMuVX0cBK/sa9znXcsRcmzHfvcc08c5z3nvpOrq6uL3W73Dlsq3VxfXz9LFShPDERgAPq8BY7zFBaUnZyOCn7EMSuP0x/jDzoWAwEZeJnA9BR5XzN/LPBXULwEnWBLWXEZgGZf76NDHrP+J/D9ei6f0TmnRG+wXeL4zqWTBzQKLDYS/IXTH2N7ibwuLviesdNVnvjHIzj7ckkw4BEa/gnbB2xfYEvOmZC/SgI+PoP8gP0NAQx432H/FFtokQNft9gHrl3xf8JOvBOccIftGbbn6Otn7/4OaR+YvkP9R9jfi5vn4ph3Fn5+xc9RU8/YyWkL/E0EHlUgAy5+S/Q+gfEt8p7ACbz7RE09Yyen7vglcIgYRHPqtJ/s+YDlUVPP2MmpO/6jFnjm6PxZRHX3jJ18tsJ/1AIHzyZeG63HWrZRPeoUpWfs5LkJ/mMX+FjQU8dnUwUd5PeMnfQW4z/NcdJwO/kNdQ8ZzfitSerhLafLVnVslE71ZyMMvxePmHrGTj6b4M8VOG/hlxG9XIIJFyC/vmQTqQvX8kJ+D94zdhLeCr+mKLvdr+D7nKTvJRvBWR419YydnLrjl8D/WzbAX1f3E+9Y7znS7BcE+swlD71iJ43u+I9e4BAwF+t8wP5+cQ5ZxzGnJ99g+5afo6aesZPTFviz5uA1HAxjeLVSODbicK0HH0LfYs+lumsmjtbfA4dNVb7E568GfGviyum7Z+y0zxX/yeiFh8dwaMgHqhwvq44YMAagY64v4vLvk6Ofohgp2m+TAQl8m36VVQMDEriksGkGJPBNu1fGSeDSwKYZkMA37V4ZJ4FLA5tmQALftHtlnAQuDWyaAQl80+6VcVXXouCn0dDBc4DvAi7nmpiDgw5Fti0ytpxLzBN/tREcIBnAhQunXmDj4qkX2H7B8XmOkV510D9jnrzBxhgnDD50MB6cG9I2chYZG/EtJW/8VQQOkGGD5wBbUdCh4LaF5X1J2CxvwW0VgQOrewCXHMKc6kS2LTK2HHe4468l8CewJvUSqb0Nw/JeU2TbImPL8bc7/mKB4zbDlxiWkr3fuFQvVHlk2yJjy3FiK/zFAocxJl4brcf22aiecxGMz4tyHNm2yNhy/NcEfw2B5xhzllOp0zqRbYuMLcfdxfgp8E+Hnmyf0/G4jo3S4zw7tqs0avAcwzm1j2xbZGxTfI7zPfF/bh0Vj+CYS9nUJDUNsbwu3/WMbFtkbCauuX0r/BT43wMQ28/hmipzD+Ay1XGD/Mi2RcaW4xov/H9a58Uj+NCQewAXA7zCPrJtkbHluModfxWB43bTbfAc8wJs4E/6/2Djz/IfU2TbImP7SODMQQv8pzP9H1p0iRNCBs8BkRwp+DwwGXQIdfiTPp8Vfse2n8LaBqCRse3zmPrsil+Bf1KUK69rBjBQKfBP1x4U+GwGqszBs3tTRTHQmAEJvDHh6q4tAxJ4W77VW2MGJPDGhKu7tgxI4G35Vm+NGaDA+d0v/0N+bvFLY1jqTgwUMcAlANT0jgI/x8YXcm3lHw6VxEDXDPBNIWr6XuBdWyLwYmCOAc3B59hRWfcM1FyLssNPpKED/8x5Kzp24LsAfq6p2VTQIvrEk/tqIzhAhg2OQxLnUlTswLXpoEX0iTf3VQQOkN0GoImMHdg2G7RoELe7bqoIHGDdA7iQEKfUM/YlSqLb5o6vlsDdA7gsebKgvGfsS2ZHt80dX7HAcRu1F4vnyA75HXvP2OfIZll021rhKxY4uDTx3iVIt19Hcy6CxOnuWT1jXyInum1N8NUQ+BLRLD/LqRS0Ts/YlyiNblsxvhoCt1E6RaZdpVED//SMPcX3OC+6bU3wFQsccymbmqSmIZYXMvBPz9jHSk4dR7etFb5igQ/kegVwSfmudl7P2Je4iG6bO75aAncP4LLkyYLynrEvmR3dNnd8VQSO2023gX96xm7qhg3dBS0i9hbcnxpJFfaXaCNk4J8M28Jihwg4yvFZZotBi+gaV+4V+IcUK22KAQwKCvyzKY/KmEkGqszBJ1tXgRhYmQEJfGUHqHtfBiRwX37V+soMSOArO0Dd+zIggfvyq9ZXZkACX9kB6t6XAQncl1+1vjIDEvjKDlD3vgxI4L78qvWVGai5FoWLZxT4ZwWH9sA7MF6AGq6raRq4qNoIDgMU+GcdcYflHZpYPXBRFYHDEPcALl7aEXYvZu+Xw64euKiKwEGRewAXPzcIuyO3pU0X66qWwN0DuJQyNXO+sM+Qs3JRsW+KBc55VgYJ9nZ9RtV2VYS9HdeH9lTLN8UCB3AT713CCAsNkHMRJE53zxJ2d4of3EEV39QQeI4FxQFccjpxqiPsTsRWaHbRNzUEbqN0Cq9dhQr8k2KnLK9n3nMsr2JfscAxV7KpSWoaYnkK/JPj0gPq9Mx7jpm17CsW+ADWPYBLDikPrCPsDySuwWnFvqklcPcALo5kCrsjuYVNF/umisBxO1Hgn0JPPuT0nnkf2ws73AIX1Vxs5RrAZUyIw7GwO5DKJiFejsJ8FlslcJEC/9ALSptiABeVAv9syqMyZpKBKnPwydZVIAZWZkACX9kB6t6XAQncl1+1vjIDEvjKDlD3vgyMvya8xdPnfm83yOOicyUxEJIB6PMWwM6nwFHgXCfyfKJCyDUkE1iVfZwM2IvuSev/Bd+gQRFRstESAAAAAElFTkSuQmCC\n",
      "text/latex": [
       "$\\displaystyle \\left[\\begin{matrix}-1 & 0 & 0 & 0\\\\0 & 1.0 & 0 & 0\\\\0 & 0 & 1.0 & 0\\\\0 & 0 & 0 & 1.0\\end{matrix}\\right]$"
      ],
      "text/plain": [
       "⎡-1   0    0    0 ⎤\n",
       "⎢                 ⎥\n",
       "⎢0   1.0   0    0 ⎥\n",
       "⎢                 ⎥\n",
       "⎢0    0   1.0   0 ⎥\n",
       "⎢                 ⎥\n",
       "⎣0    0    0   1.0⎦"
      ]
     },
     "execution_count": 3,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "Minkowski(c=1).tensor()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAMYAAABlCAYAAAAWE5wdAAAACXBIWXMAAA7EAAAOxAGVKw4bAAALGElEQVR4Ae1dXY7eNBSdQfOMCpVYwFRiAdOygn7dQVskeIbuoKgPqH1D7Q5K33mA7qBlBWVmAUhlAUiUEQsAzsnk5vNkkkwSO47tHEue+C/Ovef65tqOvzuHT58+PTk4ODhF7Aqvnz179qCrYm4Z+uPzfkG8jfT53H6Wug80Pa/7/gvXW4jPUfbHUs9bul/x040wcHmPmuOuWtQdHjkVL5BmYzcEGRB40A10+grxA+IdxE6CUL5qAJ18QfyA62sSUtN9ius9xCBYxGQQNIuffsDtBei2uIfMfRa4ivFyKeGjX1qGyvIg/RhpWo2kAuj6FgTdwLVSChKH9Hmdf4ksQcsmgG7xMyAt4PNjuxplLKoU46N25YbzVNyzDv7foWwH0Gj1cgrix0NaUow9eDskOdVrB1sHsT6nIH48pCXFAHgjrcGnHjhHvVX8+MMtxbjA0Aa9WQcXWbMiOU2lxI8rwRlpKcZ40G6Ob5pFS/EzIKajgbqmqjbNv6JgylvzAe7rWsw2/SaUMKvQRZK9ffldI5cgfjwlNVYxOMW47fmsZG+HAnNblvR1Kb6VZfMdQ/z4DzVNpfYYvkXyeJ9tUmYxWJ9TED8e0pJi7MHjMRV+lW8HWsozvoXbFYnnxY+HgKQYNXgY+PwS+gHX6ssni5HmNOoh4jfM5xTEj5+0Rq0x/B5xcTcExTcYB5q9lXkGiYvzd7jynFYKgdbhCeixKdUXyN+t6UyBvqk0iJ+piNXtD53TtbcwALJZYM7kV7cJgV4EMP55voxnBg81leqFSRVbRkCKsWXpi/deBKQYvdCoYssISDG2LH3x3ouAFKMXGlVsGQEpxpalL957EZBi9EKjii0jEO0DXy4gYw+bX76PEW/WV+5r53ZOKhe4k6VTinFVNK+gCJ+wGFd+qf8b8ZB5he0gIMW4Kmseo7BAy9EcHoSiML9DpL8p/j6DdXStU3lAQVqhEAS0xmgJEoPcPRZD30PuoD9BPQ8bvkGkQjDttkdWoQQEZDF6pIhBT19S3+Ha/AoRafM5dYI6KscByr7jVaEsBGQxOuSJwU5LUSlFna5aIU1ncQx0vlYtyFHWHFOvavSnCASCWgxnEHH+naXfV/BAt5a0CI+RxqWaKplV4PSJ6wpaiy+R5hH63xCTDaDRXFFmKxMX3Fj8BDt2DoI5oK74fUVZln5fXWHkmi5NJkvzg/6bY+dBLEbdYfZ+X8HHfz5KgPuT2dYtRSYmj9j8BFEMED/kJ5VTEipNs+1pzKZ2BY3JDOwA2BQhEweHqPyEWnzvwECXLyNTBtYrxEWgNJlE5efIV1a0BiP6MBc0I5ou06Sm8wl65yKUgZsD3Hky5a0KS/iTi0zGYr0GP96KAeZs0HcNMLMiY5RnLE6T2wFYvm34XaLxjogy7jxRUWzHCcmrAe3s7BT543+BeoSY+tQweZlcRXqwJDo/IRRjkKO6kgfyVgkYxDzGwe1VDujmYx3yVJbqIx2unQHtqRTcVXvEBrhyvWTfMlLxbNJJ+4jC1WQygrY5TYLyE0IxzCp0MWOabtOXrjZLl9FSMPAtz0FtAL5B/rpTs7Qork8ptqcboEpRcE01pC6TqbhF54eKwYf+hPjvVGrZHoPrHJHJrumSla15noiWgf9kc+4bnlOoSwF9XadQl9rHzmQgk0mQROTndxBGXTigYvCt/hXi94hzAwcKpyztYBZj7YE0VzFpLTgFe4creWE/b5Hnh6CfKTBcUw2py2QqbjH4+RxEURe+pmKECJxe2NEDt7/byKzt97VXKTCw7yPawUCX7iqNujPS36pYW8lb5PRmU5ZJL9EDFVH5CfIdAwOIx69T9ftKheV0qgmgl+sNrj3ag75pk3sicZlMhjc2P6EsBhmldUjO7ysBRaQiUEGaTQDkU19AE1PfkKRMPJiKxk+wQ4QezOpWIZAEAnhZcu0o37VJSENEJIlAkDVGkpyJKCHggYAUwwM83VouAlKMcmUrzjwQkGJ4gKdby0VAilGubMWZBwL8jvFxfb9dPbrTrakhgC1IOzZ/E7QdI8rlaL+QPrMqKsY/dcauVqdrGQjI5eh4Of5pTUN++bY+dU0LAX4ttkCL0Rx8hDVhfocol6OGUH3VGqMFSGlZDH73ECWPxcjl6Aghy2KMAKmEJlAQHpqUy9GRwpTFGAlUzs2gFLQUcjk6QYhBLUYtAD6ep1hzddHJQcSQLQ8X5F/8hUxOkTpBlMtRF5hr0sFO19YCyNpFZwk8XCPvrKuXlg/6b07XBrEYdYf8zUPzazik+Vtw5jm3pXfwpEMJPLQBBk9yOdoGZWQ+iGLgWVHdJ47kbWqzEni4xDMUQy5HLyEyPhNq8b3DIz90PNb2zFmfeiiBh9Qx9qEvqnyOfCjlvXgr3RjRBz1sJBty5KGmmX6v7Oe6cjkacIR5KwZosUFv1sElz6zIGOVx74udzooHKAXfnly7yeXofqYSdIwdAeQzALz0XJQH2HIPSfAAefEYh1yOXh1N3vIBtvR2w3hAxeAeN/e6byHtHh9A0ahgVqGrsb2Jzdx3tUmhLCceaCkYuAsol6P7GYv3GAOe4bZr0Rm3ZStB8U8rmHmbo3CtrpbLZsYDp1FyObofDouMsRBrDJIYw33iHoplUjnxMPdFI5ejI8dOKMWI6j5xJG9Tm+XCQ69SwPLJ5ehUqfe0D/IdAwJJ2UVnD+uXizPigWe5OJ1qAmjneoNrD26kFBliyyeUxaAw+IOY5Fx0ThwlyfPAAVIrAhWkWXCiTC5HJwp7qHmwQ4RDD1GdEMgBAbxcml2pIFOpHJgWjUJgCgJSjCloqe1mEJBibEbUYnQKAlKMKWip7WYQkGJsRtRidAoCUowpaKntZhAI+R1jM6CJ0fUQwJZqFJejUoz1ZKwnz0MgistRKcY84eiu9RDg6QQLx0icWwbWhPkdorfLUa0xDFVds0AAg989RMljMYu4HJXFyGI4iMg2AlAQHppczOWoLEYbceWTRwBKQUuxqMvRoBajJpjA8tSnXHQSiZVDCTJxIQQ/p8jz59iLuhwNdrq2JlguOl0prpwuQSYxIQRezenaIBaj7pA/lpGLzpiSHHhWCTJpsweeorkcDaIYYKAE95Yl8OCOpdL4OYBiLO3mqcEv1OJ7hx67XNDYHjPrUw8l8OBiXBo/Lm+Lp498nwAtNvclQ12Zf6mhNqvVlcCDC16O/NQ0PwEf9nPdVV2OeisGGLFBb9bBlZFZkTHK494XO10CDy5mWfEDpaB143eJyS5HXaZDpkMoxhh6vN0njnnIwm1K4MGFKAl+oBQ8xjHL5SiZwf12qJAv5tvIP0LkRlDXi5q3jAohFMOsQtcD7c1l5rGrTQplJfDg4pgTP7QUDBzMk1yOoj2V4h6ulYcU3l/3wf5e8M/c4K0YIOQckc/vmi5ZmXu+ZS6ti91XAg8uOJnxswPtc12Ock1C74oW6E2SjvO8XQmF2pXKyb2lgdi+lsCDy1NO/Pi8OK9MmfBiIO9eIZRiUEvvdFDCI8JnfIN11KVWVAIPLqa58NOrFBg3nCoNBfPFS9ek/GrNqftbphFttjJ0f2+d91SKPYMIesfjoa7GdyrSJOwh4l22ST2UwIOLcUb88EDgpalPPXZYztgb0O4MlYxu8LYW7CyIYtRU0TrIRWcNRiKX5GVSKzAX3lSCZpMG+UvKEhvPYIcIYxOu5wmB0AhAGZtDhKHWGKFpVH9CYFUEpBirwq+Hp4qAu8Z4D1PSppP7y+5vatv1yguBLBHAuH4Pwo/7iKdicLusb6HTu5XW16HKhUAmCAzueP0Pm41OCa2nFboAAAAASUVORK5CYII=\n",
      "text/latex": [
       "$\\displaystyle \\left[\\begin{matrix}-1 & 0 & 0 & 0\\\\0 & e^{\\frac{2 x}{\\alpha}} & 0 & 0\\\\0 & 0 & e^{\\frac{2 x}{\\alpha}} & 0\\\\0 & 0 & 0 & e^{\\frac{2 x}{\\alpha}}\\end{matrix}\\right]$"
      ],
      "text/plain": [
       "⎡-1   0     0     0  ⎤\n",
       "⎢                    ⎥\n",
       "⎢     2⋅x            ⎥\n",
       "⎢     ───            ⎥\n",
       "⎢      α             ⎥\n",
       "⎢0   ℯ      0     0  ⎥\n",
       "⎢                    ⎥\n",
       "⎢           2⋅x      ⎥\n",
       "⎢           ───      ⎥\n",
       "⎢            α       ⎥\n",
       "⎢0    0    ℯ      0  ⎥\n",
       "⎢                    ⎥\n",
       "⎢                 2⋅x⎥\n",
       "⎢                 ───⎥\n",
       "⎢                  α ⎥\n",
       "⎣0    0     0    ℯ   ⎦"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "DeSitter().tensor()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAhIAAABkCAYAAADT2dlKAAAACXBIWXMAAA7EAAAOxAGVKw4bAAAe8klEQVR4Ae2dT87ctpbFy4bHDccGep4Y6AU4zgps7yB2gJ472cF78MiZBckObM8fkNg7SHoFdryABvwW0ICdD72ARp+fPlFPpaIkqopSSaxzARYl8vLy8pAiL/9IdePFixf3d7vdn3Ixevvjjz8+iUU4zAgYASNgBIyAESgfAdkBH1XKr2IlVdyNW62IX3QNc5v+2b7xtREwAkbACBgBI3BxCPwcKfFjhX1LeNuQeCnLYnbDQXmwAvJG7mtdX6FEaaRyBdA/qWz35H5eAtvScNxaeVzvW6sx63sOBPycnAP10/JUnb3qSlAYQQeGRJcv270yvC1hr+U+yz2Qiy6RKHzzpLKyTfST/LcUpi77n/Ify81uqG0ewI0WQHXret9o3Vnt5RDwc7Ic1kvmdHOJzNR4ruSeyP2g/H5dIs9z5KHyfa98b8uvjAh00DWrLty/5N5UHgKu9/Lq1CXKj4Cfk/yYrkXiIobEWgq7gB4cTP0Qyeedwh7pQWJlxlQeAq738urUJcqPgJ+T/JiuQqINibzV8Eji2L7pUjgLQrypPARc7+XVqUuUHwE/J/kxXYVEGxKZqiFxteFOpuwsZiUIuN5XUhFWY9UI+DlZdfWcrJwNiZMhbAQEIyGsPjQRugirFN7aaKNSxrXrvYx6dCnmRcDPybz4nlW6DYll4b+7bHbObSUIuN5XUhFWY9UI+DlZdfX0K3erP+pfMfWy1H8pZMqMmrc0YgcP/yW4rKuw6hArVbDG+a6EqSwEXO9l1adLMw8Cfk7mwXUVUlMNCZbrv16FxitVQkYTr7iiXczYCmH+jsRK6+9YtVzvxyLndJeEgJ+TsmvbWxt56/cPifsqIjKsSBBvKg8B13t5deoS5UfAz0l+TFch0YZE3mrg0998ubNLrOZ8wCrvRvi+CARc70VUowsxMwJ+TmYG+FzibUhkRF6GAt8j/yy/+v44onXNtsZTuWfcm8pDwPVeXp26RPkR8HOSH9O1SEw6I5FDWTUirFEG1TBj5/8nOIz5Tj7/PFoKsfrwXGUKWxzf6P5hXdZSyuhyHCLgej/ExCFGoIuAn5MuIgXc33jx4sV9lYM/HLqnwc6HAQuoVBfBCBgBI2AEjMCcCMhe4L+l+NfwG97amBNpyzYCRsAIGAEjUDgCNiQKr2AXzwgYASNgBIzAnAjYkJgTXcs2AkbACBgBI1A4AjYkCq9gF88IGAEjYASMwJwI2JCYE13LNgJGwAgYASNQOAI2JAqvYBfPCBgBI2AEjMCcCNiQmBNdyzYCRsAIGAEjUDgCi32QqnAcm+LpnVo+uvW8Dviq9p8p3J/HblDyhREwAkbACJSCgFck8tfkzzIa/l67JxLP3+fywa9JpPTBCBlMl8o3KMSRRsAIGAEjYASORMCGxJHADST7XoP7o1b8z7r+SmF8QTSJxPs3MabyIxt+kxEwAkbACBiBxRHIurWhAY1BE/okd0+O2fmlfXb7B5X7vdxRJLz4w6+78pP+f0R8f8jdJ53c26MydaIsCAh/t/8sSFpIyQj4OSmvdrOtSKhxsHzPH3CxrM8g+He533WdtERfCrQq7yu59nkIDIt/Kow/KBsk8VTnK+SD3QERL/dRbg9T3YM3fxRGetMZEBD2bv9nwN1ZbgsBPyfbqq9UbbMYEmoc/HkHg1wzI9Y1gyn3L1OVKY1PGLA9wQoD/3iXQsxoh/Biy4StjNgqD+nCjDglL/NkQkD14fafCUuLKRcBPyfl1m0WQ0LwcKgwNuN+p/BHakAXN1NWmVk1YGD/WtcYVSn0VLyvBhgfKy6G865OR/qLw3oAr6Wi3P6XQtr5bBkBPydbrr0B3XMZEsyUeTuhS2EAbR8+7PIUd6/BvDIi5D+Wu5LjDANhvaR4MIqtNLTTwPNHO6BzTfqnnTDfzo+A2//8GDuH7SPg52T7dRgtwa1o6IRADYApM+A7E0RmZ611ZHUgGDbkwXmO9lYM5YDnI5EiDou+EU8zcOuarQoeBuSEcn+n8GbrQtcYDGwzcFYkvHnBOYnouQeFB8Jab/IKgZJBfqQnP2RjlLyRj/7dA5mkZ9ViaFVD0aZcCKgOQjsYEnnW9j+kmOOMwBII+DlZAuXz5XGyISHVQyfJ4NqlsEqR0tl202a5VwNm8OUgHB+FqgwH+QzOGAnVIUj5DPgMzqwgNKsCuuawKAP3L3KUgbdQGKgb0j2DfJvIC178hiJ8TVx98UD+wfkIpcM44M0MzlqwTbSXf502eBhBlM20HAKrbv/LweCcjMAgAn5OBuHZdmQOQyIFgbspTDPxYCBgMDSrD7oPhs1VnSc8b8XTGBF1OKsIfyqcwZwH4YGuOVQa0sHWlrtT3BcEHkHoFAyvWPLe8xEtZtKHsrWCfXlmBM7Z/s9cdGdvBJIR8HOSDNW6GHMYEkODX7BCP52j2Az6yve+3N4WgMIZ/MPqBPGsWryT2yPxfZAjjO0Ltioo61/yMSx+l8P4GNuyEFsSgVXbQOkmYqVhz2jpMugeQ4iymJZDYLXtfzkInJMRGEXAz8koRNtluHmq6hpIw+AXmwmHsO5M/9RsU9OHQXXIkAk8oRwx2RgbEGchMEoY9KvzFCr/wXaE4rKS8gBH9MR4GaIxY2QoreOOQGDl7f+IEjmJEciPgJ+T/JiuSSKGBJbiP+T+7wTFmKGHAbkthoENIv4cFAwYDk72UeAJRk+Mj62RqnzyWZnAoGALg/MR3+s+GBqxtKlh6NGnA+cndsqnwVHXMV7Chix/xJjyI7DW9p+/pJZoBI5HwM/J8ditMeV/Sylshx2GBIP9f9bX8o4izhhUg10nNQMu2wNXnfBFbut8PyizmG47xfNZaeLR7+AQo+LYToBYdcBY4MNDFSmO1zp5O4Lthqj8a87kXwyAmDGGgL3zEcr3W4UFI434QIQFwyiE2Z8fgVW2//mL7RyMwCQE/JxMgmv1zP8hDbEdKkPiZG3rAfVzPcBV8nTN7JhvGjw7OYPTBPBaJV+DbIwAxOmerQmMCOihHB9zwlhoEzy8sRH4Yp+hppzNSkE78cRr8vimJw0GRmUgSBfy6/u6JYbb2PZHTxYOPhYB1QkG5Vrb/7HFcjojkBUBPydZ4VyVsByHLUOBGMQYaMOsmkHxoe7DIBz4FvWVP9sSXyrT1/LRkdUH6CVxXMhn1YQ4ti1CPOXgPhgJhDNgtL8eeVf3uf6YDAOg77wFBzrRtzKG5O8dHlVcIFZQMH5MyyOwyva/PAzO0QgMIuDnZBCebUbeePHiBbNwvnlwTwOUl8XPWI/Cn+9APJE/2fhSGgwfvnsxdB7kjKVz1kbACBgBI1AKAhprmNgywb1xs5RCFVIOVhO6H7hKLRqrFl6NSEXLfEbACBgBI5AFARsSWWDMI0SWHVsnnH9gdSGZan7Skd5kBIyAETACRmAxBGxILAZ1ckYcDu07K9EnBH7SmYyAETACRsAILIqADYlF4R7PTKsKHOr8Qf7eWyZ9KWs++MMh0T5WhxsBI2AEjIARyI5Azrc2sit3qQJlFHDoNWmbQrxJfJeKpcttBIyAETAC8yLgFYl58bV0I2AEjIARMAJFI+AViaKr14W7VAS0UnVbZX9elz8c3n3mLbBLbREutxGYDwEMiX+rxQd/vtws2QgYgaUQ4ENpzavEuuZAbvW9mKUUcD5GwAgUjcC/h9JhSPxvfRP8EGffCKwCAc+uj6oG/kzujVz4MivfGKn+YE5hkz94dpQGTmQEjEDJCPxPKJzPSAQk7K8ZAWbXfK4cx2uun+WYXU8ipQ1L/IPpUvkGhZw/ktWI96eqcSoWp6Y/VX+nNwJGYH4EbEjMj7FzOB0BZtKPWmKYXfMBru6frLVY9i/F+zeFpPIjG/7NkvR/Jdd+JRjDgv+dSV6NqDFIxawPq81j2VcwhxsBI3CNQNbDlup4wieaP0k8//mQ6w+tNlVfxiF7dZ00u1Z98Lfrd+X3/dnZnsLi+0PuPunk+Jv4k0gyWAlhBYUVlaNe11U6BvTXcsj6TffN+QfdD1KdFgz4w6QkUppJmPUJlZysWPbl4/DtIKA24XFiO9WVpGm2FQk1DjrKd/LpLOmw+e8H/kSKju9iyDjkr2phevTsWmmrtxfk0x4PiHi5j3J77VT3tGH+zZb0pxKykZM8kHczlB7hH2rZ1rnTje+7r8tFx/21rtsrFH1JduIbxKw3YU+E5OXEsicXB28BAbUFjxNbqKiJOmYxJNQ4+AojHXIze9M1nRb3Uz/3PLEI62E3DvPXhTBmZj5lds0gOtQG2TJh+T32z7ekC7MnXR5Hks2Bxy/kJ68iDOQU0zPKrvwwYFgVfCx3Jccqy57BFE14XeYhzHqSDQZnwXIwB0euGgG1PY8Tq66h45XLYkgoew7AxfZe3yn8kRoQM5xLIOMwYy3Xg+Ck2bXUeap0Q9sJj8UTa7u7Oh3pT26/koFhvRgpPwwGBu+fdI0BgQGGIcOKxhiNYTaW/iBe+VMHWbA8EO6ArSDg/nErNTVRz1yGBLO6WAcVOs/2QbmJKm6K3TjMVF31wDhpdq001MfYDB6e8IpkTHvSP41FrDyMJWTKhh8ch1bDMxlVPxGzaNqEwK1imVA0syQg4P4xAaQtstw6VWl1PCmzteQ93VP1OVf6S8OhLi+rA+2BiTMy7e0t2gY8H+t64QBu+9sGO/EzU6aDQU5oS98pvDlPoOswu+b8DfwQs+vouYcq9vqHGdCBkSAZ5Ed68kM2M/Y38tG/eyCT9Kxa9K5q1DpFy6A45CMbn4OH6LSr0xDOs/GbHDixZQN9IxfTpYrkR+mR18uv+C8a5mkXUcwQIZlg/50cZX2v++hWjcJDPHXaplEs28y+LgcBtYnwbA8VimfBtEEEbmXQOVR+t9NAdFilSGlEGVQ5q4iLwUGdAoMYs1w+uVwZDvXggZFQvWIon0GHgZL9+WZVQNccwGXg/kWOdlGtMshvSOHdAYq84MVvKMLXxNUXD+Qf7PUrHQMagzoDMVtvGAp9hBHEwBglpR0sg+IpOwcdgzFVydE92yn35P8ln7bDGyKVESMf7P6U/1auwU5hgcgTvVP5Q7oUP4pZSKg8Meaofw6o4vYML92jO2dODgw40sj1Yqk4U7kI0Mahq2tv7/eSxom9gpdyc3OhgtxdKJ+1Z1MKDhgIGAzN6oPuGdyg0FHAExsIWUXAeGDAYdB6oOuQVrcVteXuFM9BxRtdF5gHfOSGTirG1ns+osVM+q5+rei0MihBzCBAznu5xiggQOXEyID6Bl0wa1ZIEvivpaX99mIW8pFPWTAU9gw+hVOnlKXRrZPlGJYddt9eGAKl9I8XVm27XY4ViaGOOlihny4A2YvAQYMEAw0DRncmyuBfGQD1gMKs9Z3cHimO1xgJY/uC2S24/SWfgel3OYyPsS0LsSUR7e9qgJOBes9oifAyaFKWKKF3hjJgTMSoz4CZyh+T3Rc2hllIx0oPK1CsLlGnYFTVaWCI+INYRvgdVA4CF9E/llNd00pycxr7Ibc6kNBRxzq9ENY3GzsUuNGQC8IhDKpDxmHgCW0jVqsYIxBnITBKGMCq8xTC8mA7QnFZSXnQNtET42WIUgbWs5RhSOm544RfMMB+qLHEHzMAU7CcW3XLPwMCahuhLwhjQluLEFb8ONEudEnXJxsSNRjMJsPg0caHjgOK7Zdex5T1ewk4hIedg5N9FHhCBxHjY2ukajMMQHIMxhwQZLn8e93fjyWaGIYefTqwrbJTPk3b1HWMl7De2ZTSzF0G1FyShjDr6oExwRstbFWNGRGkHcQSBlPRCFxC/1h0BfYVLpchwX541TF3MmJwYNnzqhNe6m3xONR1+UEVGKvvneI5NEg8dX5wiFFxYd+fVQeMBT5SU5Hi+GgS++sMUFH515zJvxgAMQMXAXvnI5TvtwoLhi/xgQgLhlEIa/tzl6Gd1xLXQ5h18/9VARgHtPsUGsMyRYZ5totA8f3jdqvmNM2zGBJ15/+57owrjXRNB8Ns5dlpKm4n9QXhwCuCnMxvjABqSfdsTWBEQA/l+AARA22b4OGNjcAX+ww1badZKWgnnnhNHrxKGSMMjMpAkC7k1/d1S4zhse2P1DKQT5cYXKfQVP4psuEdwqwrKxiKtIcUSsEyRY55NoiAnjMmCRc/Tmyw6kZVznHYMmRCJ0GHGmaAdOAPWwNG4CvdLx4H1SnbEl+qIl/Lp7xXdaW+JI5r+axEEce2RYinbXAfjATC6VzaXzy8q3uWyodWAcSSRBgAfectWIpH38oYkr93eLQlnRUUjJ8+GiyD5GJIkb5aYdE9OlWGWB1OPCsxhKMTfGFg5tzBN3JP5IKcJH7JOJaGMGtkSh/KhL535Jgw7L3BofsYjWEZS+OwshAovn8sq7rSSnPjxYsXdEy8n8877Tk677SczWUEFkBAbZpvFzAQhxWQ5FyVBsOH714MnQdJlrcVxjHMFI8RURmNusY4wPjgWxm9GCvuIrHcSp1bTyMwFQE900zC6Adu3Jya2PxGYGMIMOilzJZjxWLGTfpLo17M1Gn8TWC0V55YXWJV5vkISJeK5QgsjjYC20fAhsT269AlGEBAAx9bJ5x/YEacTDU/6Uh/UdSHmcIxIvhuRnflEow4ZFthLJ9Vzobq8IvEsgHBF0agYARsSBRcuS5agwBnDvrOSjRMnQv4w1mFTtRF3O5hVhsDnHs52L5QGKsNvGnDSkVsBefSsbyIBuNCXi4CPiNxuXV/USWvB8JH8kdXGMTD3l9s5m3MJiJgLCcCZnYjsBEE6me7OiNhQ2IjlWY1jYARMAJGwAisBYG2IeGtjbXUivUwAkbACBgBI7BBBHJ+R2KDxbfKRsAIGAEjYATOh4Bm9reVe3jrKRwKf6Zw3obaBNmQ2EQ1WUkjYATWhEAJnf+a8LxwXfgAX/OKuq45nFx922kruNiQ2EpNWU8jYATWhMDmO/85wLSBdRSq/EnhG7nwxV/efKr+uFBhB29JHZXDzIl8RmJmgC3eCBiBIhGgo+ernoHo/PlWxt43NELkBfnVP8EKBz6FzyvEn+WYXZv6EWA14n1/9PpjbEisv46soREwAutDIEvnr8E27Iknl/CYNMnCT2fMYmClljGV7/RizSdBZXgl1z4PQdvi/4wmrUacisUp6W1IzNc+LNkIGIFCEVCne3LnLxl8KfSYFQxWPki7RjrZwJqIy5qxmFw/Kjvt4Vs5/twsmSZi1if3aCyzfkdChQlftfskTfmjo1z/4thX8FWGG4dVVsvsSrneZ4f45AxUR6wAsNTO0vvox8lSMpQcOv83cvxxWXtm2ZtcfAwW/LMrXwWNkuIwFvg3XHT+SffNDLWOY9bKF0VXS9KPMYHPpyf98Z34RnHpFlZpwCkLFpJ1cvuQDNrDazlk/aZ7jKtRqvOuvgKr66R2hFDxTsasTxnJSsZSvPn/tEtCeTjfyecB5S+ZeUD450TAvBgyDhdT1XsFdb3vwbHmG/qj23KTZnx9Bar7NwbLKUYE+T9X2iEjgn9U5e/l4Xkmh6HSkMLpY5GBrFWSdJs0u67L0osL8XIf5fbGFN3nxOLk9iF9+JQ87YvzIXdSKqcuExPvx3LU+/06bDC5eEbb0qCATqTkHYXlzY6co26VOZYJldxYx7q+Ulj1/f2jhG4wkXHYYKVlUNn1ngHEhUSorjgZ/4X8pFnikFqSwaAzufMnjRwzzyhJbrWyK79aMZFPXxo7yImMijcq6IyBARupkGxg1WXpxUXxHG4Fh+6fxim4wvNkLCQ7W/uQTjE90XWPaqwoN6tOGBAYYLRPDJExGmxLY4l74ie3qyyGhJThdG6z7NZS7p2u+X+D1VrNLV1zXBqHHChuT4brfUN1pv6IgfkkkgyMiGM7/6dKH91WUTiDCMvLsUGRPBuqZSBrVf2r9EHPYwysXlzqQj+WHxtndjmxkKyT20dTSWkXrOZjJOEHx6HVFD3GMEvToMV1DJa5viMBCLEHIwBBfLNa0dK5tEvjUFqNppXH9Z6GU0lcdPgM4PgNqRMeXOlQPG1laKb6nHjxhW8K7HSNcQHFlsmR9VQu1v+SZlGSrsHAYos76A0mvds4KCjeMVxgg2doHFkVFiicQir7Fyl8XZ5EzLrJUu8nYXkrVWofnwrDwzRGsQdgLM2m4o3Dpqorm7Ku92xQZhGk+mDwYsBhEhP6pu8UzhI7gxxnDfD5d1dWknbySUM4/dRvcqwGcIAN+kaOs1/sHTek+6M6fwkgz8ZIaATqQjLRl3y7gy76QjEDBFnM1AcNiVo25QKXQJSrGZhbPB9rBg5Itj+UtBNPL751mqMMLKWN4qL8qEsMEbABB5b+qauDOlHYKBZD+isuW/uQLg3VcgfbU8M87SKKGSLqcn6nS/B7r/uogavwEN9uF4gYxRKmQLfCxQk+Dx/UVYSwsMdDIyidjEPpNRwvn+s9jsvioeoU6WeqJfV25qETlc9AjEERBsqKTfcsl9+T/5d86pO3DCrDQf593f8p/61cbCBX9CR6IG62RGLEWTOoa2hgzECx/CkLg0EvSW8GSAZ4/r+hMhzkkwYjofpegXzKyQDNYb8mH11zYJ7B+xe5QXyVdieeYw2sKC6SBxYYfQzEj+RjNPXRIBZKO6i/4udoH+SJ3nO0pyhmARzlyaoQdc8BVVzXGKbOOXPSbW+IGMQShjbdbN/MeM0rTKbrV7mMw+Uh4Pa/TJ3TsT5Qx0jn3aZm1l0HNgNlm0nX7+WaTp84yQp78oODNbyJhG5hgtVNEgZJ3lxgkK+cmDgzwUn+mN7I6pa3KxcDoft6ZEhzVTPDEzOWWB3BOGPQScW3FjnJG8IFQb3nI1q5jGGRqn8MZ7I5pn3QHpvVIl3nbE+9mIV85FMWDIW9FQmFU5+09UY33bdpDMs27y7HigQZ9tGdOuJTH0NB4cahoMqcUBTX+wSw5mRVp8jMlfr4i2v5vELJ4NjdKhhSg8EiRmHgjcVNCaNPDIN3Nx0DXbPlQqR0J99v5X7iPkIMFMw6o1SnZ9DozkYxrnDkQTwy3nHfJsXxKiNBbA8xwz0V37b49vUQLvBhyFX6thN1rsewOEf7mLM9jWEW4GEFDKOUlSXqk7qu6jMwRPxBLLv8N7sBU++lVHgoYg9aCEOposk4FF29vYVzvfdCc64I3t9n0KST5UwAS7p9WwmKXhXRX2L8tImDlFDfzHFsMAlGxtBkLvCEvvw6x/3f+/Xt4viq/sAFHbvY7Gt4XedDZYB/cf27Si59L/yCAfZDjSX+mHE91q72inGyIVFLw/oPjbGdAcpAsT2Y65iyfo1DWfWZWhrXeypSM/Kpc6z6IDpJOQYM9utZ0v1e92EgnFGDJNFMqhgY90j6hbAPexHXBy+7n+Nus5BuaFUsTOKGviwZeIIObfnhmq2ROfGN4lJnzkrNTvk340gLr6Af/iAWM+vf1mOp6yHMujpgTGCUsk01ZkSQdhBLGNqUy5Bgf62q7LZwXfMws5Ry1Qkv9dY4lFqzw+VyvQ/js1QsxkI4sLij35FjJk8nGuufltKrnQ+D/sGkK9ZHKowtDSZjQx0/8cEQ0OU+1XIxTqLlJw854umjwxmNRojiwtkQVnXmxDeKS63I3vkIdFY45e7SIBZinlP/ri5L3A9h1s3/VwVgHNBXpdAYlnsyshgSqlge1s91BVcZ6BqlsYCeVQEX8GMcLqCSI0V0vUdAOV9Q7LPR9EXNbLZWjbAuxQanLs+p9wza4S2MriwMnjDrRz+2Zh6qfV11GVv3TNbGlvx5TZDT+Y2RRXrdIx99oIdyfNyIwbZN8PDGRuBLxbctI+V6CBcwqYwl6QEufV+3TMEiVf8c7WPu9jSEWRfzYCTSFlIoBctGTo7DlkEYGVNJwdrmYeEhCA0w8JXuG4fSazhePtd7HJclQxlwmdS0v/Z4V/cs57I0zyDJwFjNznXPAFwNsnU48axiEM4qAHyh42VfmT/ZCveKOoqQ3Xdmg0kXuvKWBlsRe69i6j5GrBhQpl6SPMr+pRhey6edBsPkJXEklM/KMXFsC4V4+nLugxE2iC9yTqAhXKgLdK0MIfl7B0dbeY5hMai/5GZpHy05c7enIcwaWKQP7QMM78gxud97g0P3MRrDci9N1n//3JPsGyNgBIyAEThAQB077+g/kX/SJEvpGej5zsPQ+YeD/NcacAoupWGRWkdjmCkeI6IyGHWNcYDxwbdUetue4pLalfgw7JB946YuTEbACBgBI7AcAnTuKbPCMY2YZQ6uRowJWFn8KbiUhkVq1fRipgGela32qhMrS6zKPB8RPhlLGxIjiDraCBgBI5ATAXXwbL+wz8/M7yiq0yIDWUXQsbiUiEVqhfZhpnCMCL6b0T2IS3vhgG3V9uSz/dJQHT65XdmQaCD0hREwAkZgMQQ4a9F3ViJFCdKeel4jJZ+leY7BpVQsUrHfw6w2BjjzcrB9oTBWGzjUy0pFbDXrKCzbZyRiSvNVuBIba6ysDjMCRsAILIaA+lZmhY/kT1pVED9707HZ5mK6z5nRFFxKxyIV5ymY9ckcwlJxnOupVjG66RV3A0PitiI4yRkjTvuGE7uxeIcZASNgBIyAETACBSNQGxnREiru1f8DHfvGahm2vYEAAAAASUVORK5CYII=\n",
      "text/latex": [
       "$\\displaystyle \\left[\\begin{matrix}-1 & 0 & 0 & 0\\\\0 & \\cos^{2}{\\left(t \\right)} & 0 & 0\\\\0 & 0 & \\cos^{2}{\\left(t \\right)} \\sinh^{2}{\\left(\\chi \\right)} & 0\\\\0 & 0 & 0 & \\sin^{2}{\\left(\\theta \\right)} \\cos^{2}{\\left(t \\right)} \\sinh^{2}{\\left(\\chi \\right)}\\end{matrix}\\right]$"
      ],
      "text/plain": [
       "⎡-1     0            0                     0            ⎤\n",
       "⎢                                                       ⎥\n",
       "⎢       2                                               ⎥\n",
       "⎢0   cos (t)         0                     0            ⎥\n",
       "⎢                                                       ⎥\n",
       "⎢                2        2                             ⎥\n",
       "⎢0      0     cos (t)⋅sinh (χ)             0            ⎥\n",
       "⎢                                                       ⎥\n",
       "⎢                                  2       2        2   ⎥\n",
       "⎣0      0            0          sin (θ)⋅cos (t)⋅sinh (χ)⎦"
      ]
     },
     "execution_count": 5,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "AntiDeSitter().tensor()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Calculating the scalar (Ricci) curavtures\n",
    "They should be constant for De-Sitter and Anti-De-Sitter spacetimes."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [],
   "source": [
    "scalar_curvature_de_sitter = RicciScalar.from_metric(DeSitter())\n",
    "scalar_curvature_anti_de_sitter = RicciScalar.from_metric(AntiDeSitter())"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAEkAAAAwCAYAAABdXlfVAAAACXBIWXMAAA7EAAAOxAGVKw4bAAAEbElEQVRoBe2a/1UUMRDH73gWgNoBdADYgXQAdgB0AM+/4D+fdiB2oHSAViDagVgBSgf4+cTNGm73MNzlYG/fznu5SWaz+fHNzGQu2fHNzc2oj3RycrLDvNZIzyv+HtnnWeb6ZJaXluSdD4Dy1LHCV2G/SWPL96U+g7SZgKFGXccyoFl+SVonXZF8to18F96glYakJwImfJlM5S35FIANnp8iOycJjvm0PsV/NO6rT4pTBID35PVH36MscmSH5uHvoqyN91aTqsmrQUcCRDIfiHwAh8I2KThzZDr6ViquSXSmvR9VvW3Bf1lG3ljJqs5CGP19o+GNpPFLZPqgEVwz+0TSobv7/SBdIG8dY1GQ6ESA3sJr+yfvCrpy2v5MWzDvPiqV3t0EZC+dEcCoRfvIXLmwJafP78rznppQm8kddQ+oWzte8nMFf7x/K1QorUnGIqrwUzpKt1wB0ubX08lQXgoq7bg1J22/BmgCBQFcOiqqSdNmD2g6xjX4LTWmLGivSQZ0ko5V85wGcqj00D+lfVJj/ExYv5LueKEOciNeY5hd8mFXqeoKWtwdQ90SP7Qd/8u5AJuU9WOrpP8uyMJBYkD6o1MGUwds5AXNbdiBptuuwCkvSvQhQO6uBzYMPzRVndTjqsoNtlCQGIia8hkeBpf0rlxyJR2ssYp0TnkRYYLame669uHiTY4LUZMWBhKTddsfwdsGosac8ey/q9gc8syShlnRf9aCLAQkOo/bfQ0QMk1sBI/xTOQzz/oeL6pFmvZX+DOSfavhLuRHeANA5DUVB4kOddQv4JPOV+D8ty1NBYj3dkhnf6uV+aU9/V7q+2w4S4usWBQkBqO2aOuuUvQ79uPqeTwRzcsoutYyK/BsFaY8J8L2lQejonESE538U5lOxH/i9UEY+eiwY4w0QhZBTN979HxRkB59NgsawMqC2u1VswNIGcs5gDSAlIFARpVBkwaQMhDIqDJoUgZI4+PjYyPdLyR5LtVnQPEFAsG5zpVjO13kQzCZsSqDuQ0gZSCQUaXoKUBGf8Wr4Av1pZ48Smt/2WgP+XWVn5stPUgg4I1xfexC3iMaTyPClfbcCNFAH3zSPsC8TMDwPMrrKw//ilAfQFKLLoqgMaWR3oUAaJCa5BHwYG5ti16ZmGfp9QloW737yvpgbmHOAOTOphZ5O1tsZ7PxTu5uTDJeBnj+rdm0fs7nBKQIENwv1yzrtK/hU29lrJdLnfJJTEptiNff4coHmXHQT5Ia4hcr1vHmJVw7VWW3/fQKS2de7MOLrpmb8Y03u/WdGHlNx90rgqDPqZ+T9x1DAHlMhgXFTK4z5sak1Aa15g1pkjSbrUr4PAWA/L2+nptsOKfcJU16xYC91GzTAGUGiPqqNhBz5jpznU6AxOTVINPkVXQ6MZ9/nQJiWq94visgqSmSX8RNI3erot8ITOtoUt4JkKpB+TFF2MLTQQJM+IQHmZo0olzsP1naz135roUAaXwUtAtQwpcocB27sivyD/rNwB/e8YXoUYvSIQAAAABJRU5ErkJggg==\n",
      "text/latex": [
       "$\\displaystyle - \\frac{2 e^{- \\frac{2 x}{\\alpha}}}{\\alpha^{2}}$"
      ],
      "text/plain": [
       "    -2⋅x  \n",
       "    ───── \n",
       "      α   \n",
       "-2⋅ℯ      \n",
       "──────────\n",
       "     2    \n",
       "    α     "
      ]
     },
     "execution_count": 7,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "scalar_curvature_de_sitter.expr"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAACMAAAAOCAYAAACl66WxAAAACXBIWXMAAA7EAAAOxAGVKw4bAAABTElEQVQ4EcWV0U3DQAyGA+oAESOEDVrYADagIwAj8JrXdgNgAsQKYQJER2CE0g3C9x136JSqBZHqsOTa57vYf9zfuaO+76tDSdu2U3I9ozP8zTAvsYbYXYyfYdeuia+MTfwZIySqef4RNbEFLLglEcgCO0+b+Av8N+wl2h2njb9akmzQOXpLjqc9eSx8ne/zjF2yg3azGg3GJL+UC859AMBO5tKxqIk3JcFY9J2iW1yKyOrRnMlfcZ8PiG+uDM5J+or9VcnODDAEAAJp0DBh/woGEBL3ga4ssdUER0K9oENiEdopTk/4Nuw88cMGz99zpMM6hUEEI6FmcV3EUPPGQjkQ18UIbDEFAFeY0xwIvrwp+p0RiIQ9x6YrQQyKANfFOhPfXsLKE/mS5ARnSmx5EDAksogD4N2keN9I8FeLhMjX5Ph3BL7EWDJhGD4B9itnmHRq7pEAAAAASUVORK5CYII=\n",
      "text/latex": [
       "$\\displaystyle -12$"
      ],
      "text/plain": [
       "-12"
      ]
     },
     "execution_count": 8,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "scalar_curvature_anti_de_sitter.expr"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "On simplifying the expression we got above, we indeed obtain a constant"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAACMAAAAOCAYAAACl66WxAAAACXBIWXMAAA7EAAAOxAGVKw4bAAABTElEQVQ4EcWV0U3DQAyGA+oAESOEDVrYADagIwAj8JrXdgNgAsQKYQJER2CE0g3C9x136JSqBZHqsOTa57vYf9zfuaO+76tDSdu2U3I9ozP8zTAvsYbYXYyfYdeuia+MTfwZIySqef4RNbEFLLglEcgCO0+b+Av8N+wl2h2njb9akmzQOXpLjqc9eSx8ne/zjF2yg3azGg3GJL+UC859AMBO5tKxqIk3JcFY9J2iW1yKyOrRnMlfcZ8PiG+uDM5J+or9VcnODDAEAAJp0DBh/woGEBL3ga4ssdUER0K9oENiEdopTk/4Nuw88cMGz99zpMM6hUEEI6FmcV3EUPPGQjkQ18UIbDEFAFeY0xwIvrwp+p0RiIQ9x6YrQQyKANfFOhPfXsLKE/mS5ARnSmx5EDAksogD4N2keN9I8FeLhMjX5Ph3BL7EWDJhGD4B9itnmHRq7pEAAAAASUVORK5CYII=\n",
      "text/latex": [
       "$\\displaystyle -12$"
      ],
      "text/plain": [
       "-12"
      ]
     },
     "execution_count": 9,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "simplify(scalar_curvature_anti_de_sitter.expr)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Searching for a predefined metric\n",
    "find function returns a list of available functions"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "['AntiDeSitter', 'AntiDeSitterStatic', 'DeSitter']"
      ]
     },
     "execution_count": 10,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "find(\"sitter\")"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.8.5"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}